A Modeling Framework for Self-Healing Software Systems

For a system to be capable of self-healing, the system must be able to detect what has gone wrong and how to correct it. This paper presents a generic modeling framework to facilitate the development of self-healing software systems. A model-based approach is used to categorize software failures and specify their dispositions at the model level. Self-healing is then achieved by transforming the model of the system into platform-specific implementation instrumented with failure detection and resolution mechanisms to mitigate the effect of software failures and maintain the level of healthiness of the system.